With insights from philosophy of language and semiotics, this article addresses judicial choices and semantic errors involved in United States v. Stevens, 130 S.Ct. 1577 (2010) (refusing to read “killing” and “wounding” to include cruelty and thus striking down a federal statute outlawing videos of animal cruelty), and Snyder v. Phelps, 131 S.Ct. 1207 (2011) (finding a First Amendment right to picket military funerals and verbally attack parents of dead soldiers as part of purportedly-public expression). -/- This article maintains that (...) a better understanding of semiotics (the theory of signs) exposes the flaws in both decisions and bolsters the arguments of the lone dissenter in both cases, Justice Alito. Such a better understanding of semiotics involves grasping (a) how expression involves signs, (b) how signs work in general, and (c) the differences between three basic kinds of signs (indexes, icons and symbols). This article maintains that the expression involved in Stevens and in Phelps was a type of indexical or quasi-indexical expression that, for reasons similar to those involved in child pornography cases, should have no First Amendment protection. -/- This article also notes shifting interpretive positions in the Court that cry out for reform. Although Chief Justice Roberts uses a textualist approach in his majority opinion striking down the animal cruelty statute in Stevens, his majority opinion in National Federation of Independent Business v. Sebelius, 132 S.Ct. 2566 (2012), has no trouble finding a “penalty” a “tax,” upholding the Affordable Care Act, and chastising the dissent for voting to strike down a statute simply because “. . . Congress used the wrong labels.” Id. at 2597. -/- This article attempts to expose such gamesmanship in “textualism” and attempts to lay out a better semiotic path for the Court. It calls for more forthright judicial decision-making in constitutional and statutory interpretation; calls for rejecting mechanical notions of law that conceal judicial choice involved in constitutional and statutory interpretation; and calls for rejecting claims that dictionaries can settle constitutional or statutory interpretation issues without reference to constitutional and statutory goals. -/- Keywords: interpretation, construction, meaning, plain meaning, originalism, original intent, canon, semiotics, signs, signals, symbol, icon, index, signifier, signified, ordinary meaning, freedom of speech, freedom of expression, animal cruelty, first amendment, statutes. (shrink)

Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic predicates.

Bacteria do many things as organized populations. We have recently learned much about the molecular basis of intercellular communication among prokaryotes. Colonies display bacterial capacities for multicellular coordination which can be useful in nature where bacteria predominantly grow as films, chains, mats and colonies. E. coli colonies are organized into differentiated non-clonal populations and undergo complex morphogenesis. Multicellularity regulates many aspects of bacterial physiology, including DNA rearrangement systems. In some bacterial species, colony development involves swarming (active migration of cell groups). (...) Swarm colony development displays precise geometrical controls and periodic phenomena. Motile E. coli cells in semi-solid media form organized patterns due to chemotactic autoaggregation. On poor media, B. subtilis forms branched colonies using group motility and long-range chemical signalling. The significances of bacterial colony patterns thus reside in a deeper understanding of prokaryotic biology and evolution and in experimental systems for studying self-organization and morphogenesis. (shrink)

Áp lựс lên сơ sở tài nguyên thiên nhiên ngày сàng giа tăng. Nguồn nướс bình quân đầu người liên tụс giảm và сhất lượng nướс suy giảm đаng trở thành những vấn đề сấp báсh hơn bао giờ hết. Nhu сầu về gỗ, сhăn thả giа súс và đất nông nghiệp đаng gây áp lựс lên rừng. Những tháсh thứс này сàng trở nên trầm trọng hơn dо sự mất аn tоàn về quyền sử dụng và sự thiếu rõ (...) ràng trоng quyền sử dụng, сả hаi đều không khuyến khíсh việс bảо tồn tài nguyên và đầu tư để bảо vệ năng suất сủа сơ sở tài nguyên thiên nhiên. (shrink)

A path model of organizational creativity was presented; it conceptualized the influences of information sharing, learning culture, motivation, and networking on creative climate. A structural equation model was fitted to data from the pharmaceutical industry to test the proposed model. The model accounted for 86% of the variance in the creative climate dependent variable. Information sharing had a positive effect on learning culture, which in turn had a positive effect on creative climate, while there were negative direct effects of information (...) sharing on creative climate and on intrinsic motivation. This study suggests that information sharing and intrinsic motivation are important drivers for organizational creativity in a complex R&D environment in the pharmaceutical industry. Implications of the model are discussed. (shrink)

This paper examines how different forms of performance evaluation relate to aspects of the creative climate in a major pharmaceutical company. The study was based on a large employee-attitude survey that was distributed to all company employees. The study analyses survey results from 5,333 employees at five R&D sites. The results indicate that management’s evaluation of employees (either dialogue-based or control-based) relates to the type of motivation (intrinsic or extrinsic) that drives employees, to their style of thinking (value-focused thinking) and (...) on their attitudes to organizational creativity. The paper then discusses implications of these findings for HRM. (shrink)

Based on Steven Wall's work I take perfectionism in political philosophy to include two components: the objective good and the non-neutral state. Some perfectionist theories aim to be liberal. But given the objective good component perfectionism seems to be unable to accommodate the commitment to value pluralism found in liberalism, this is what I call the challenge of pluralism. The perfectionist reply is to claim that their objective good can also be plural and thus there is no conflict. My aim (...) in this paper is to show that this reply does not work. I do this by looking at three different ways we could conceive of perfectionist theories as plural and show how each is unsatisfactory. (shrink)

The purpose of this paper is to briefl y examine one of the fundamental assumptions made in contemporary liberal political philosophy, namely that persons are free and equal. Within the contemporary liberal political thought it would be considered very uncontroversial and even trivial to claim something of the following form: “persons are free and equal” or “people think of themselves as free and equal”. The widespread nature of this assumption raises the question what justifies this assumption, are there good reasons (...) for holding it? After establishing some methodological remarks, including a distinction between having freedom-equality and being free-equal and restricting the domain of discussion to include only a subset of all moral questions, namely the questions of political morality, the paper deals with some conceptual issues concerning this assumption of persons as free and equal, such as how do free-and-equal-making properties relate to person-making properties. It then moves on to examine three broad ways the free-and-equal-mak-ing properties could be established. First, necessary property approaches, which take some necessary feature of persons to be what makes them free and equal (e.g. possessing an immortal soul). Second, contingent property approaches, which take some contingent feature of persons to be what makes them free and equal (e.g heir practise of reasoning). Third, agreement based approaches, which take some agreement or contract among persons to be the basis for their being free and equal (e.g. evolutionary emergence of our treatment of others). Strengths and weaknesses of all approaches will be examined. (shrink)

31 chapters covering the Old Academy to Late Antiquity. See attached TOC.

El siguiente artı́culo intenta defender la tesis de que la distinción aristotélica entre enérgeia y kı́nesis debe ser comprendida de modo intensional (en contraposición a una lectura extensional), tomando como punto de partida su célebre aparición en Met IX 6. Sobre la base de la identificación del problema acerca del cual trata dicho pasaje, se toma en consideración otras apariciones de la distinción en Met IX 8, en la EE, en la EN y en otros textos, en orden a documentar, (...) en primer lugar, la vinculación de la distinción con la noción de érgon y, en segundo lugar, de qué modo dicha vinculación permite una lectura intensional de la distinción. Por último, se ofrece un argumento adicional para dicha lectura considerando la estructura teleológica de la acciones presentada por Aristóteles en EN I 1. (shrink)

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...) of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

En este artículo se explica en qué consisten las éticas centradas en el sufrimiento, presenta algunas de las principales razones a su favor y expone cuáles son sus implicaciones con respecto a la consideración moral de los animales. Se argumenta que conforme a estas éticas los usos como recursos de los animales lesivos para estos deberán ser rechazados. A continuación, se examinan las posiciones que aceptan el uso de los animales siempre que este tenga lugar reduciendo los daños infligidos a (...) estos. Se presentarán una serie de razones por las que tales posiciones resultan cuestionables y por las que van a entrar en conflicto con las implicaciones de las éticas centradas en el sufrimiento. (shrink)

A subject of a conversation is the social context for the emergence of a doxology as a project of the naturalised theory of knowledge. The Swedish philosopher Mats Rosengren developed the doxology. From his point of view, human knowledge has never been and will never be epistemic (in the Platonic sense). It is always cultural and historical determined, situational and changeable. During the conversation, Rosengren discusses the specifics of the doxological understanding of the constructive nature of scientific knowledge. He speaks (...) about the importance of reception of the French philosophy of the 20th century for the emergence of a doxology. Mats Rosengren gave an interview on June 14, 2018, in Stockholm in the House of the Union of the Swedish writers. Mikael Nydahl did the simultaneous translation from Swedish. Further, Dmitry Vorobev made the transcript and editing of the conversation written text. The paper allows better to understand what the doxology is – as a modern version of the Protagorean theory of knowledge – and what is not. Предметом беседы стал социальный контекст возникновения доксологии – натурализованной теории познания, предложенной шведским философом Матсом Розенгреном. С его точки зрения человеческое знание никогда не было и не будет эпистемическим (в платоновском смысле). Оно всегда культурно-исторически обусловлено, ситуативно, изменчиво. В ходе беседы Розенгрен говорит о специфике доксологического понимания конструктивного характера научного познания, о значении рецепции французской философии XX века для возникновения доксологии. Профессор Розенгрен дал интервью 14 июня 2018 года в Стокгольме в доме Союза шведских писателей. Синхронный перевод с шведского сделал Микаэль Нюдаль. В дальнейшем на базе аудиозаписи беседы Дмитрием Воробьевым был создан и отредактирован текст интервью. Новизна данной работы заключается в том, что она позволяет лучше понять, чем является и чем не является доксология, заявленная ее автором как современный вариант протагорейской теории познания. (shrink)

This article briefly addresses the following questions: Why should we study narrative? Does narrative have a basic overarching form or forms? How does framing drive narrative? How do concepts drive narrative? What can we do when we lack the necessary concepts for the narrative we need to tell? Are there basic storylines that repeat? Are there basic character types that we reuse? Can narrative drive the results of a Supreme Court case? Can narrative drive transactional practice? How does narrative's importance (...) underscore the importance of an education in the humanities? (shrink)

En teoría del valor y en teoría normativa, es común considerar que lo positivo y lo negativo tienen la misma importancia. Algunas rechazan esta idea y consideran que lo negativo tiene mayor importancia. Aquí se presentarán algunos de los argumentos en favor de la asimetría. Tras esto, daré cuenta de los diferentes tipos de posiciones asimétricas defendibles. Explicaré cuáles son las características de cada teoría y qué puntos a favor y en contra de estas posiciones se pueden postular. Por último, (...) consideraré que no hay razones para creer que haya una posición asimétrica claramente superior a las demás. (shrink)

Many wrongly believe that emotion plays little or no role in legal reasoning. Unfortunately, Langdell and his “scientific” case method encourage this error. A careful review of analysis in the real world, however, belies this common belief. Emotion can be cognitive, and cognition can be emotional. Additionally, modern neuroscience underscores the “co-dependence” of reason and emotion. Thus, even if law were a certain science of appellate cases (which it is not), emotion could not be torn from such “science.” -/- As (...) we reform legal education, we must recognize the role of cognitive emotion in law and legal analysis. If we fail to do this, we shortchange law schools, students, and the bar in grievous ways. We shortchange the very basics of true and best legal analysis. We shortchange at least half the universe of expression (the affective half). We shortchange the importance of watching and guarding the true interests of our clients, which interests are inextricably intertwined with affective experience. We shortchange the importance of motivation in law, life, and legal education. How can lawyers understand the motives of clients and other relevant parties without understanding the emotions that motivate them? How can lawyers hope to persuade judges, other advocates, or parties across the table in a transaction without grasping affective experience that motivates them? How can law professors fully engage students while ignoring affective experience that motivates students? Finally, we shortchange matters of life and death: emotions affect health and thus the very vigor of the bar. -/- Using insights from practice, modern neuroscience, and philosophy, I therefore explore emotion and other affective experience through a lawyer’s lens. In doing this, I reject claims that emotion and other affective experience are mere feeling (though I do not discount the importance of feeling). I also reject claims that emotion and other affective experience are necessarily irrational or beyond our control. Instead, such experience is often intentional and quite rational and controllable. After exploring law and affective experience at more “macro” levels, I consider three more specific examples of the interaction of law and emotion: (i) emotion, expression, and the first amendment, (ii) emotion in legal elements and exceptions, and (iii) emotion and lawyer mental health. To provide lawyers and legal scholars with a “one-source” overview of emotion and the law, I have also included an Appendix addressing a number of particular emotions. -/- Keywords: Emotion, Cognitive Emotion, Reason, Logos, Pathos, Legal Analysis, Legal Reasoning, Neuroscience, Philosophy, Persuasion, Rhetoric, Expression, First Amendment, Free Speech, Common Law Murder, Mental Health, NAACP v. McCrory, Anger, Contempt, Disgust, Hate, Malice. (shrink)

Coincidence comes in two varieties – permanent and temporary. Moderate monism is the position that permanent coincidence, but not temporary coincidence, entails identity. Extreme monism is the position that even temporary coincidence entails identity. Pluralists are opponents of monism tout court. The intuitively obvious, commonsensical position is moderate monism. It is therefore important to see if it can be sustained.

Aesthetic internalism claims a link between judgement and motivation: aesthetic judgements bring with them motivations to act in characteristic ways. Critics object that there is a difference between merely liking something and judging it to be aesthetically good, and that it is our likings, not our aesthetic judgements, that motivate us. This paper develops a version of aesthetic internalism that can respond to this criticism. Wholehearted aesthetic judgements are characterized by stability, attention, and motivation. Making such judgements is an important (...) part of a good life, and so at least some aesthetic judgements are motivating. So we have reason to think that this version of aesthetic internalism is true. This paper defends wholehearted aesthetic internalism against objections, and assesses an argument from aesthetic internalism to aesthetic non-cognitivism. While wholehearted aesthetic internalism can only offer qualified support to non-cognitivism, it nonetheless offers a number of fruitful avenues for further work. (shrink)

Divers presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

The topic of this essay is how non-realistic novels challenge our philosophical understanding of the moral significance of literature. I consider just one case: Joseph Heller’s Catch-22. I argue that standard philosophical views, based as they are on realistic models of literature, fail to capture the moral significance of this work. I show that Catch-22 succeeds morally because of the ways it resists using standard realistic techniques, and suggest that philosophical discussion of ethics and literature must be pluralistic if it (...) is to include all morally salient literature, and not just novels in the “Great Tradition” and their ilk. (shrink)

This article tackles the sole surviving ancient commentary on what was perhaps the second most important Platonic work, with special interest for the manner in which the ancients tackled the setting of Plato's dialogues, Socratic ignorance, Socratic eros, the central myth-like Palinode, and the question of oral as against written teaching.

This paper has three aims: to define autonomism clearly and charitably, to offer a positive argument in its favour, and to defend a larger view about what is at stake in the debate between autonomism and its critics. Autonomism is here understood as the claim that a valuer does not make an error in failing to bring her moral and aesthetic judgements together, unless she herself values doing so. The paper goes on to argue that reason does not require the (...) valuer to make coherent her aesthetic and moral evaluations. Finally, the paper shows that the denial of autonomism has realist commitments that autonomism does not have, and concludes that issues of value realism and irrealism are relevant to the debates about autonomism in ways that have not hitherto been recognized. (shrink)

A model-theoretic approach to the semantics of set-theoretic discourse.

Immoralists hold that in at least some cases, moral fl aws in artworks can increase their aesthetic value. They deny what I call the valence constraint: the view that any effect that an artwork’s moral value has on its aesthetic merit must have the same valence. The immoralist offers three arguments against the valence constraint. In this paper I argue that these arguments fail, and that this failure reveals something deep and interesting about the relationship between cognitive and moral value. (...) In the fi nal section I offer a positive argument for the valence constraint. (shrink)

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

What responsibilities do audiences have in engaging with artworks? Certain audience responses seem quite clear: for example, audiences should not vandalize or destroy artworks; they should not disrupt performances. This paper examines other kinds of resisting responses that audiences sometimes engage in, including petitioning the artist to change their works, altering copies of artworks, and creating new artworks in another artist’s fictional world. I argue for five claims: (1) while these actions can sometimes infringe on the rights of artists, the (...) rights of artists are not absolute; (2) the fact that such actions are based on mistaken interpretations of the artworks has no normative weight; (3) there can be reason to object to additions and alterations whose conception of the artwork is morally worse than the original (and so, there can be reason to support additions and alterations whose conception is morally better); (4) petitioning raises special moral problems; and, most important, (5) some of these actions are valuable because they involve creative and aesthetic activity. Those acts of audience resistance that are creative, morally improve on the original work, and that minimize the infringement of the artists’ rights are good, and should be encouraged. (shrink)

Ancient Chinese and Greek thinkers alike were preoccupied with the moral value of music; they distinguished between good and bad music by looking at the music’s effect on moral character. The idea can be understood in terms of two closely related questions. Does music have the power to affect the ethical character of either listener or performer? If it does, is it better as music for doing so? I argue that an affirmative answers to both questions are more plausible than (...) it might seem at first. (shrink)

One important but infrequently discussed difficulty with expressivism is the attitude type individuation problem.1 Expressivist theories purport to provide a unified account of normative states. Judgments of moral goodness, beauty, humor, prudence, and the like, are all explicated in the same way: as expressions of attitudes, what Allan Gibbard calls “states of norm-acceptance”. However, expressivism also needs to explain the difference between these different sorts of attitude. It is possible to judge that a thing is both aesthetically good and morally (...) bad. While the realist can explain the difference by suggesting that each judgment makes reference to a different property (or set of properties), the expressivist cannot. She must show that what is expressed by the speaker is different in each case. This has proven to be difficult to do. (shrink)

Proof uses forcing on perfect trees for 2-quantifier sentences in the language of arithmetic. The result extends to exact pairs for the hyperarithmetic degrees.

© British Society of Aesthetics 2018. Published by Oxford University Press on behalf of the British Society of Aesthetics. All rights reserved. For Permissions, please email: [email protected] adaptation of literary works into films has been almost completely neglected as a philosophical topic. I discuss two questions about this phenomenon:What do we mean when we say that a film is faithful to its source?Is being faithful to its source a merit in a film adaptation?In response to, I set out two distinct (...) senses of fidelity: story fidelity and thematic fidelity. I then argue, in response to, that thematic fidelity, but not story fidelity, is an aesthetic merit in a film adaptation. The key steps in this argument involve showing that merely preserving the story from one medium to another does not typically involve an aesthetically... (shrink)

Even if one sees the law as “a self-contained system of legal reasoning” from which we deduce “neutral,” non-political conclusions from “general principles and analogies among cases and doctrines” (including formalist claims that judges simply call “balls and strikes” like umpires in a baseball game), one should still consider certain characteristics of the party making such deductions or calling such “balls and strikes.” [Relevant citations to quoted language are in the Article.] If such decision maker has questionable motivations, lacks proper (...) perspective, does not grasp the flexibility in the concepts in play, does not grasp the restraints on concepts in play, does not follow the proper processes involved, and lacks the detail, courage, and tenacity needed to reach the proper “deduction” or “call,” on the face of things the formalist, too, should have reason to re-examine any “deduction” or “call” by such party. Thus, even the formalist should not deny the critical role of virtue when examining legal analysis, a role belying the notion of law as a "self-contained system of legal reasoning." -/- This Article thus explores basic freedoms and restraints applicable to legal analysis and the role that virtue plays in balancing such freedoms and restraints. Such exploration covers: (i) the origin, nature, and purpose of concepts and categories used in legal analysis; (ii) the experiential nature of the meaning of such concepts and categories used in legal analysis; (iii) the freedoms and restraints applicable to such concepts and categories as a result of either experience or of the concepts or categories themselves; (iv) how workable notions of virtue rightly balance such freedoms and restraints in legal analysis; (v) the distinction between such virtue and skill; (vi) reconceiving the analytically virtuous mean as a proper balance between such applicable freedoms and restraints; and (vii) defining and surveying the particular virtues that lead us to such proper balance and thus to good legal analysis. My hope is that lawyers and law schools in their curricula will follow such explorations as well in a quest to better understand legal analysis and how to teach and perform it well. (shrink)

Two recent novels, Ian McEwan’s Atonement and Margaret Atwood’s The Blind Assassin, are philosophically instructive. These books are interesting, I argue, because they reveal something about understanding and appreciating narrative. They show us that audience’s participation in narrative is much more subtle and complex than philosophers generally acknowledge. An analysis of these books reveals that narrative imagining is not static or unified, but dynamic and multipolar. I argue that once the complexity of narrative engagement is better understood, some prominent philosophical (...) problems and debates concerning narrative dissolve. (shrink)

In this essay I argue that if Kantian and consequentialist ethical theories are vulnerable to the so-called “problem of alienation,” a virtue ethics based on Xunzi’s ethical writings will also be vulnerable to this problem. I outline the problem of alienation, and then show that the role of ritual ( li ) in Xunzi’s theory renders his view susceptible to the problem as it has been traditionally understood. I consider some replies on Xunzi’s behalf, and also discuss whether the problem (...) affects other Confucian and eudaimonian approaches to virtue ethics. I close by considering some solutions to the problem and the affect that this result has on the argumentative dialectic between the three major ethical traditions. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

Where AR is the set of arithmetic Turing degrees, 0 (ω ) is the least member of { $\mathbf{\alpha}^{(2)}|\mathbf{a}$ is an upper bound on AR}. This situation is quite different if we examine HYP, the set of hyperarithmetic degrees. We shall prove (Corollary 1) that there is an a, an upper bound on HYP, whose hyperjump is the degree of Kleene's O. This paper generalizes this example, using an iteration of the jump operation into the transfinite which is based on (...) results of Jensen and is detailed in [3] and [4]. In $\S1$ we review the basic definitions from [3] which are needed to state the general results. (shrink)

Biomedical science has been remarkably successful in explaining illness by categorizing diseases and then by identifying localizable lesions such as a virus and neoplasm in the body that cause those diseases. Not surprisingly, researchers have aspired to apply this powerful paradigm to addiction. So, for example, in a review of the neuroscience of addiction literature, Hyman and Malenka (2001, p. 695) acknowledge a general consensus among addiction researchers that “[a]ddiction can appropriately be considered as a chronic medical illness.” Like other (...) diseases, “Once addiction has taken hold, it tends to follow a chronic course.” (Koob and La Moal 2006, p. ?). Working from this perspective, much effort has gone into characterizing the symptomology of addiction and the brain changes that underlie them. Evidence for involvement of dopamine transmission changes in the ventral tegmental area (VTA) and nucleus accumbens (NAc) have received the greatest attention. Kauer and Malenka (2007, p. 844) put it well: “drugs of abuse can co-opt synaptic plasticity mechanisms in brain circuits involved in reinforcement and reward processing”. Our goal in this chapter to provide an explicit description of the assumptions of medical models, the different forms they may take, and the challenges they face in providing explanations with solid evidence of addiction. <br>. (shrink)

I explore the claim that “fictive imagining” – imagining what it is like to be a character – can be morally dangerous. In particular, I consider the controversy over William Styron’s imagining the revolutionary protagonist in his Confessions of Nat Turner. I employ Ted Cohen’s model of fictive imagining to argue, following a generally Kantian line of thought, that fictive imagining can be dangerous if one has the wrong motives. After considering several possible motives, I argue that only internally directed (...) motives can satisfy the moral concern. Finally, I suggest that when one has the right motives, fictive imagining is morally praiseworthy since it improves one’s ability to imagine the lives of others. (shrink)